noinst_LTLIBRARIES = libsatsolvers.la

AM_CPPFLAGS=$(config_includedirs)

libsatsolvers_la_SOURCES = CoreSATSolver.C SimpSATSolver.C Proof.C Debug.C SATConfig.C EnodeHandler.C 
include_HEADERS = CoreSATSolver.h SimpSATSolver.h Proof.h SATConfig.h EnodeHandler.h
